$\forall$${\it es}$:ES, $a$, $b$, $c$, $d$, $e$, $f$:E.
\\[0ex]$a$ $\leq$loc $b$  $\Rightarrow$ $b$ $\leq$loc $c$  $\Rightarrow$ ($c$ $<$loc $d$) $\Rightarrow$ $d$ $\leq$loc $e$  $\Rightarrow$ $e$ $\leq$loc $f$  $\Rightarrow$ $a$ $\leq$loc $f$